%option noyywrap
%{
	#include <set>
	#include <string>
	using namespace std;
	int num=0;
	int unique_num=0;
	set<string> table;
%}

digit 	[0-9]
number 	{digit}+(\.{digit}+)?(E[+\-]?{digit}+)?
%%

^[0-9]{9}	{printf("201492286");}
NAME$	{printf("SYZ");}
{number}	{printf("%.f",0.5+atof(yytext)*2+201492286);num++;table.insert(yytext);}
.	{ECHO;}

%%

int main()
{
	yylex();
	printf("the total number of num is %d,and the unique num is %d",num,table.size());
	return 0;
}

